Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
391	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
392	Planning Accessible Explanations for Entailments in OWL Ontologies Tu Anh T. Nguyen, Richard Power, Paul Piwek, Sandra Williams The Open University Milton Keynes, United Kingdom {t.nguyen,r.power,p.piwek,s.h.williams}@o Add to Reading List Source URL: aclweb.org Language: English - Date: 2012-07-18 14:14:03 Propositional calculus Mathematical logic Formal systems Axiom Entailment Inference Mathematical proof Semantic reasoner Logic Logical consequence Reasoning
393	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
394	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
395	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
396	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:15:23 Computability theory Lambda calculus Logic in computer science Combinatory logic Sigma-algebra Mathematics Mathematical logic Theoretical computer science
397	On Herbrand’s Theorem Samuel R. Buss University of California, San Diego Add to Reading List Source URL: math.ucsd.edu Language: English - Date: 2002-06-25 19:08:00 Model theory Predicate logic Metalogic Herbrandization First-order logic Sequent calculus Skolem normal form Well-formed formula Prenex normal form Logic Mathematical logic Proof theory
398	An LF representation of a variant of HOL Light Kevin Watkins / June 15, 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-03-23 11:29:40 Propositional calculus Deduction Natural deduction Proof theory Meta Logical biconditional TM Logical connectives Logic Mathematical logic
399	A Simpler Proof Theory for Nominal Logic James Cheney University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-14 05:42:09 Proof theory Model theory Admissible rule Modal logic Natural deduction Symbol Sequent calculus Parity of a permutation Interpretation Logic Mathematical logic Mathematics
400	THE UNIVERSITY OF AKRON The Department of Mathematical Sciences Article: Miscellaneous Essays Add to Reading List Source URL: www.math.uakron.edu Language: English - Date: 2002-04-05 21:59:28 Proof theory Metalogic Logical consequence Theorems Calculus Mathematical proof Axiom KeY Consistency Logic Mathematics Mathematical logic

UPDATE